From: Siegfried-Angel Gevatter Pujals <rainct@ubuntu.com>
Date: Fri, 18 Dec 2009 19:26:41 +0000 (+0100)
Subject: Use the preferred text editor when opening an extension's .js file
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~10598
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=e326202477693b2e21429af06ff464f918d43f54;p=gnome-shell.git

Use the preferred text editor when opening an extension's .js file

Change "./src/gnome-shell --create-extension" to use "gnome-open"
when opening the newly created .js file, so that it is launched
with the user's preferred text editor, instead of hardcoding gedit.
---

diff --git a/src/gnome-shell.in b/src/gnome-shell.in
index 2142c8f02..41354ad0a 100644
--- a/src/gnome-shell.in
+++ b/src/gnome-shell.in
@@ -303,7 +303,7 @@ function main() {
 ''')
     f.close()
 
-    subprocess.Popen(['gedit', extensionjs_path])
+    subprocess.Popen(['gnome-open', extensionjs_path])
     sys.exit(0)
 
 if options.eval_file: